Nuprl Definition : false 9,38
False == !Void() 
latex

DefinitionsFalse
FDL editor aliasesfalse

origin